Buy Used and New Michael Leuschel Books

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings

by Michael Leuschel, Heike Wehrheim

ISBN 13: 9783642002540

Format: Paperback (367 pages)
Publisher: Springer
Published: 02 Feb 2009

Save for later

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

by John Derrick,John Fitzgerald,Stefania Gnesi,Sarfraz Khurshid,Michael Leuschel,Steve Reeves,Elvinia Riccobene

ISBN 13: 9783642308840

Format: Paperback (396 pages)
Publisher: Springer
Published: 12 Jun 2012

Save for later